#include "hello.h"
#include <stdio.h>
void HelloFunc() { 
  printf("hello, world\n");
}
